Nuprl Definition : eq_atomn 13,42
eq_atom$n(x;y) == if x=1 y then tt else ff 
latex

clarification:

eq_atom$n(x;y) == atom_eq{$n:n}(x; y; tt; ff) 
latex

Upatoms
Definitionsif a=1 b then x else y, tt, ff
FDL editor aliaseseq_atom*

origin